OPTIONS:
AUTO_HEADER=FALSE

CONSTANTS:
NUMBER_OF_GUESSES=10

VARIABLES:
Guess={1 .. NUMBER_OF_GUESSES}

OUTPUT:
G${Guess:\}_Correct_color_and_wrong_place = ((G${Guess:\}C1 = GXC2 || G${Guess:\}C1 = GXC3 || G${Guess:\}C1 = GXC4) && G${Guess:\}C1 != GXC1) + ((G${Guess:\}C2 = GXC1 || G${Guess:\}C2 = GXC3 || G${Guess:\}C2 = GXC4) && G${Guess:\}C2 != GXC2) + ((G${Guess:\}C3 = GXC1 || G${Guess:\}C3 = GXC2 || G${Guess:\}C3 = GXC4) && G${Guess:\}C3 != GXC3) + ((G${Guess:\}C4 = GXC1 || G${Guess:\}C4 = GXC2 || G${Guess:\}C4 = GXC3) && G${Guess:\}C4 != GXC4)
